1. Arithmetic, Proof theory and computational complexity
Author: edited by Peter Clote and Jan Krajicek
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory,، Computational complexity
Classification :
QA
9
.
54
.
A75
